Institute of Science and Technology

Results: 12533



#Item
81

A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:16
    82

    Submission to the House of Commons Science and Technology Committee on the risks and opportunities for UK science, research and innovation after Brexit 13 February 2018 The Institute of Physics welcomes the opportunity t

    Add to Reading List

    Source URL: www.iop.org

    - Date: 2018-02-27 13:08:08
      83

      Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,

      Add to Reading List

      Source URL: homes.cs.washington.edu

      - Date: 2017-06-23 18:20:16
        84

        Poznan ´ University of Technology Faculty of Computing Science and Management Institute of Computing Science Master’s thesis

        Add to Reading List

        Source URL: tomasz.buchert.pl

        - Date: 2018-01-27 23:28:19
          85

          Poznan ´ University of Technology Faculty of Computing Science and Management Institute of Computing Science Master’s thesis

          Add to Reading List

          Source URL: tomasz.buchert.pl

          - Date: 2018-01-27 23:28:15
            86

            A Fast Approximation of the Bilateral Filter using a Signal Processing Approach Sylvain Paris and Fr´edo Durand Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory

            Add to Reading List

            Source URL: groups.csail.mit.edu

            - Date: 2006-05-09 13:03:14
              87

              mTCP: a Highly Scalable User-level TCP Stack for Multicore Systems EunYoung Jeong, Shinae Woo, Muhammad Jamshed, and Haewon Jeong, Korea Advanced Institute of Science and Technology (KAIST); Sunghwan Ihm, Princeton Unive

              Add to Reading List

              Source URL: www.usenix.org

              - Date: 2016-02-19 18:21:03
                88

                Efficient Homomorphic Encryption on Integer Vectors and Its Applications Hongchao Zhou and Gregory Wornell Dept. Electrical Engineering and Computer Science Massachusetts Institute of Technology Cambridge, MA 02139

                Add to Reading List

                Source URL: www.rle.mit.edu

                - Date: 2015-04-16 23:57:18
                  89

                  Deep Packet Anonymization Michael Foukarakis, Demetres Antoniades, Michalis Polychronakis Institute of Computer Science Foundation for Research and Technology—Hellas Heraklion, Crete, Greece

                  Add to Reading List

                  Source URL: www.ics.forth.gr

                  - Date: 2012-03-22 09:28:01
                    UPDATE